EXTRA_DIST = banner1.gif ChangeLog clf.gif FAQ THANKS VOCABULARY
